🇬🇧 en ja 🇯🇵

formal system noun

  • (logic) The grouping of a formal language and a set of inference rules and/or axioms.
 形式体系, 形式的体系
Wiktionary Links